Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
281	Constraint Models for the Container Pre-Marshaling Problem Andrea Rendl and Matthias Prandtstetter AIT Austrian Institute of Technology GmbH Mobility Department, Dynamic Transportation Systems Giefinggasse 2, 1210 Vienna Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:12:47 Container terminals Computing Container Object-oriented programming Sequence container Associative containers Stack Transport Abstract data types C++ Standard Library
282	CCCG 2006, Kingston, Ontario, August 14–16, 2006 Another Paradigm for Geometric Constraints Solving Dominique Michelucci Sebti Foufou∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-27 22:59:31 Constraint programming Decomposition method Vector space Matrix Triangulation Degrees of freedom Algebra Mathematics Mechanics
283	Job shop scheduling with setup times and maximal time-lags: A simple constraint programming approach Diarmuid Grimes1 and Emmanuel Hebrard1,2 1 Cork Constraint Computation Centre & University College Cork, Ireland Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Theoretical computer science Job shop scheduling Constraint programming Sequence-dependent setup Mathematical optimization Travelling salesman problem Operations research Applied mathematics Mathematics
284	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
285	Experiments with a Hybrid ACO+CP for Balancing Bicycle Sharing Systems Luca Di Gaspero∗ Andrea Rendl† Add to Reading List Source URL: satt.diegm.uniud.it Language: English - Date: 2013-09-20 05:21:11 Theoretical computer science Local consistency FO Ant colony optimization algorithms Variable Constraint programming Mathematics Software engineering
286	The Parameterized Complexity of Global Constraints∗ C. Bessiere LIRMM Montpellier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computer programming Local consistency Constraint satisfaction Constraint logic programming Parameterized complexity Mathematical optimization Clique problem Decomposition method Complexity of constraint satisfaction Constraint programming Theoretical computer science Software engineering
287	Structural Decomposition Methods and What They are Good For Markus Aschinger1 , Conrad Drescher1 , Georg Gottlob1,2 , Peter Jeavons1 , and Evgenĳ Thorstensen1 1 Computing Laboratory, University of Oxford 2 Oxford Man In Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:11 Graph operations Tree decomposition Decomposition method Path decomposition Parameterized complexity Constraint satisfaction problem Bipartite graph Hypertree Hypergraph Graph theory Theoretical computer science Constraint programming
288	Journal of Artificial Intelligence Research Submitted 04/08; publishedAsynchronous Forward Bounding for Distributed COPs Amir Gershman Add to Reading List Source URL: jair.org Language: English - Date: 2009-02-10 12:35:28 Computing Local consistency Constraint optimization Distributed constraint optimization Constraint satisfaction problem Backjumping Assignment Search algorithm Branch and bound Constraint programming Software engineering Computer programming
289	DIMACS Series in Discrete Mathematics and Theoretical Computer Science Using Global Constraints for Local Search Alexander Nareyek Abstract. Conventional ways of using local search are dicult to generalize. Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2010-04-02 04:54:45 Computing Constraint satisfaction Constraint optimization Local search Mathematical optimization Constraint Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
290	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods

UPDATE